Composition of Transformations: A Framework for Systems with Dynamic Topology
نویسندگان
چکیده
In graph-based systems there are many methods to compose (possibly different) graphs. However, none of these usual compositions are adequate to naturally express semantics of systems with dynamic topology, i.e., systems whose topology admits successive transformations through its computation. We constructed a categorical semantic domain for graph based systems with dynamic topology using a new way to compose edges of (possible different) graphs. In this context, sequences of different graphs represent successive transformations of system topology during its computation and the edges composition between those graphs, the semantics of the corresponding dynamic system. Then we show how the proposed approach can be used to give semantics to concurrent anticipatory systems.
منابع مشابه
COMPOSITION OF ISOGEOMETRIC ANALYSIS WITH LEVEL SET METHOD FOR STRUCTURAL TOPOLOGY OPTIMIZATION
In the present paper, an approach is proposed for structural topology optimization based on combination of Radial Basis Function (RBF) Level Set Method (LSM) with Isogeometric Analysis (IGA). The corresponding combined algorithm is detailed. First, in this approach, the discrete problem is formulated in Isogeometric Analysis framework. The objective function based on compliance of particular lo...
متن کاملA New Framework for Secure Routing in VANET
Vehicular Ad-Hoc Networks can enhance road safety and enable drivers to avoid different threats. Safety applications, mobile commerce, and other information services are among different available services that are affected by dynamic topology, vehicle’s speed and node misbehaving. Dynamic topology makes the route unstable and unreliable. So, improving the throughput and performance of VANET thr...
متن کامل$L$-enriched topological systems---a common framework of $L$-topology and $L$-frames
Employing the notions of the strong $L$-topology introduced by Zhangand the $L$-frame introduced by Yao and the concept of $L$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf St$L$-Top} of strong$L$-topological spaces, {bf S$L$-Loc} of strict $L$-locales and{bf $L$-EnTopSys} of $L$-enriched topological systems. All of theseconcepts are ...
متن کاملDefinition of General Operator Space and The s-gap Metric for Measuring Robust Stability of Control Systems with Nonlinear Dynamics
In the recent decades, metrics have been introduced as mathematical tools to determine the robust stability of the closed loop control systems. However, the metrics drawback is their limited applications in the closed loop control systems with nonlinear dynamics. As a solution in the literature, applying the metric theories to the linearized models is suggested. In this paper, we show that usin...
متن کاملCreating Dynamic Sub-Route to Control Congestion Based on Learning Automata Technique in Mobile Ad Hoc Networks
Ad hoc mobile networks have dynamic topology with no central management. Because of the high mobility of nodes, the network topology may change constantly, so creating a routing with high reliability is one of the major challenges of these networks .In the proposed framework first, by finding directions to the destination and calculating the value of the rout the combination of this value with ...
متن کامل